existentially complete

См. также в других словарях:

• Mahmoud Khatami — محمود خاتمی Full name Mahmoud Khatami محمود خاتمی Born January 4, 1963(1963 01 04) Tehran, Iran …   Wikipedia

• Conjunctive query — In database theory, a conjunctive query is a restricted form of first order queries. A large part of queries issued on relational databases can be written as conjunctive queries, and large parts of other first order queries can be written as… …   Wikipedia

• Mortimer J. Adler — Full name Mortimer J. Adler Born December 28, 1902(1902 12 28) New York, New York, United States Died …   Wikipedia

• Mortimer Adler — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE caption = Mortimer J. Adler name = Mortimer J. Adler birth = December 28, 1902 New York City, United States death = June 28, 2001 Palo Alto, United… …   Wikipedia

• formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

• 2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… …   Wikipedia

• metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

• metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …   Universalium

• Carl Schmitt — (July 11 1888ndash April 7 1985) was a German jurist, political theorist, and professor of law.Schmitt published several essays, influential in the 20th century and beyond, on the mentalities that surround the effective wielding of political… …   Wikipedia

• HEBREW LITERATURE, MODERN — definition and scope beginnings periodization …   Encyclopedia of Judaism

• Rete algorithm — The Rete algorithm is an efficient pattern matching algorithm for implementing production rule systems. The Rete algorithm was designed by Dr Charles L. Forgy of Carnegie Mellon University, first published in a working paper in 1974, and later… …   Wikipedia